More from this Author

High-Level Petri Nets

by Kurt Jensen (Editor), Grzegorz Rozenberg (Editor)

Transactions on Petri Nets and Other Models of Concurrency VII

by Kurt Jensen (Editor), Wil M. P. van der Aalst (Editor), Gianfranco Balbo (Editor), Maciej Koutny (Editor), Karsten Wolf (Editor)

Tools and Algorithms for the Construction and Analysis of Systems

by Kurt Jensen (Editor), Andreas Podelski (Editor)

Transactions on Petri Nets and Other Models of Concurrency VII

by Gianfranco Balbo (Editor), Maciej Koutny (Editor), Karsten Wolf (Editor), Kurt Jensen (Editor), Wil M. P. van der Aalst (Editor)